Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
251	Worlds, Models, and Descriptions John F. Sowa Abstract. Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2006-11-26 09:39:33 Modal logic Philosophical logic Semantics Philosophy of language Possibility Kripke semantics Modal realism Accessibility relation Possible world Logic Philosophy Mathematical logic
252	Language Games, Natural and Artificial John F. Sowa VivoMind Research, LLC Abstract. Natural languages are the ultimate knowledge representation languages. Everything that can be expressed in any artificial language or n Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:49 Semantics Philosophical logic Philosophy of language Meaning Logicians Intensional logic Tractatus Logico-Philosophicus Formal semantics Ludwig Wittgenstein Logic Philosophy Analytic philosophy
253	Perspectives on Semantics: How philosophy and syntax have shaped the development of formal semantics, and vice versa Barbara H. Partee [removed] Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2009-11-10 00:37:38 Semantics Grammar Generative linguistics Philosophy of language Social philosophy Syntactic Structures Transformational grammar Syntax Formal semantics Linguistics Science Academia
254	Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vien Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:52:05 Logic in computer science Type theory Proof theory Lambda calculus Formal methods International Conference on Rewriting Techniques and Applications Denotational semantics Federated Logic Conference Automated theorem proving Theoretical computer science Mathematics Applied mathematics
255	Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation Reut Tsarfaty Weizmann Institute Rehovot, Israel Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-12-16 03:19:37 Linguistics Proof theory Grammar Meaning Semantics Social philosophy Elicitation Analysis Stochastic context-free grammar Logic Formal languages Science
256	The Development of Montague Grammar Martin Stokhof ILLC/Department of Philosophy Universiteit van Amsterdam Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-10-03 12:48:53 Semantics Philosophy of language Formal languages Philosophical logic Meaning Principle of compositionality Gottlob Frege Formal semantics Categorial grammar Logic Philosophy Analytic philosophy
257	Using Inverse λ and Generalization to Translate English to Formal Languages Chitta Baral Arizona State University [removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:07:18 Computational linguistics Mathematics Theoretical computer science Grammar Compiler construction Parsing Semantics Natural language processing Formal grammar Formal languages Logic Linguistics
258	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics
259	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
260	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R

UPDATE